$\forall$$x$:$\mathbb{B}$. $x$ $\in$ Decision